Testing on Trust Chain of Trusted Computing Platform Based on Labeled Transition System 基于标记变迁系统的可信计算平台信任链测试
A typical implementation of the mediator is based on the transition systems or finite state machines. 中介者的典型实现一般都基于转换系统(TransitionSystem)或有限状态机。
Deep-sea Data Collection& Transition System Design Base on Wince Platform 基于WINCE平台的深海数据采集与传输系统的设计
For the problem of bisimulation s none existence or hard search, this paper gave the verification procedure by means of a quotient transition system. 针对仿真对不存在或难以寻找的问题,利用商迁移系统,给出了混合系统的验证过程。
At the same time, we introduce a unified chaotic system with single parameter, called Lorenz system families, which contains the Lorenz and the Chen systems as two dual systems at the two extremes of its parameter spectrum, and acritical system as a transition system. 同时,提出了一个单参数的统一混沌系统&Lorenz系统族,它包含Lorenz系统和Chen系统作为参数区间的两个极端系统,临界系统作为一个过渡系统。
As a result, we draw a conclusion: it is important to utilize foreign capital more efficiently to advance capital formation efficiency in China, and it is much more important to utilize domestic capital more efficiently to advance transition system of domestic savings into effective investment. 所以,本文得出结论:提高中国资本形成效率需要有效利用外资,更需要有效利用内资。
It can be shown that the force-stable condition of the liquid-vapor phase transition system is different from that of a simple compressible single-phase system. The phase transition force-stable marginal curves constitute a limit or boundary which cannot be overstepped during a phase transition. 结果表明,汽液相变系统的力稳条件不同于简单可压缩单相系统的力稳条件,相变力稳边际曲线是相变时不可逾越的界限。
Secondly, a labeled transition system ( LTS) is introduced, in which an LTS-state is a UML state term, an LTS-transition is a micro step of UML state machine. 然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步。
Besides, from the speed of money flow in the transition of China, we find that there is a phenomenon of "excess currency", which was explained from the angle of transition system. 并且从货币流通速度来看,我们发现存在超额货币现象,本文对这一现象从制度转型的角度作了简要解释。
The relative surplus must be absorbed interiorly by extending the industry chains of agriculture and absolute surplus should be mostly transferred exteriorly by building workable transition system between rural and urban area. 相对剩余劳动力必须依靠农业产业链的延伸进行内部消化,绝对剩余劳动力向外部转移的战略重点在于构建发达的城乡过渡体系。
A method of construction and execution for label transition system 一种标记转移系统的构造与执行方法
In this paper, we propose an approach to construct a R-poset from a set, and describe this approach further through the examples of transition system and partial simulation. We establish the Scott topology on R-poset. 本文给出了从一个集合构造R-偏序集的方法,并用迁移系统和部分模拟的例子对这一方法的实现作了进一步的说明,同时还给出R-偏序集上的Scott拓扑。
The liquid phase transition system is widely encountered in modern engineering applications. 流体流动相变系统在工程领域具有十分广泛的应用。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary. 本文利用时序状态转换系统作为中介,提出一种把过程描述语言的项转换成Z规格的机械算法。
Control Chaos in Transition System Using Sampled-Data Feedback 一个过渡混沌吸引子的单参数采样数据反馈控制
Research on Uniform Distributed Parameter Model and Numerical Simulation Method of One-Dimensional Liquid-Phase Transition System 一维流体相变过程的统一分布参数模型及数值仿真方法
Equilibrium Stability Analysis of a Liquid-vapor Phase Transition System 汽液相变系统的平衡稳定性分析
Based on the corresponding state transition system of an XYZ/ E executable program P, how to model its fault environment and obtain its fault affected program PF by fault transformation is illustrated. 基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;
It introduces the composition of wireless railway tickets transition system and the every part function. The functions of GPS receiver and sound CMOS chip in the vehicle system are explained. 介绍了无线路票传送系统的组成及各部分功能,简要说明了GPS接收机及语音芯片在车载系统中的作用。
Extensions of Semantic Model of Z Based on Status Transition System 基于状态转换系统的Z语义模型扩充
Automatic test suite generation based on labelled transition system 基于标号变迁系统的测试集自动生成
Labelled transition system ( LTS) is an important research aspect of formalization analysis. 标号迁移系统(LabelledTransitionSystem,LTS)是形式化一致性测试的重要研究方向。
Main contents and conclusions of this work are as follows. A survey is made on the refusal testing of labeled transition system as well as its extended models& input/ output transition system ( IOTS) and multi input/ output transition system ( MIOTS). 本文的研究内容与结论包括:综述了八十年代以来标号变迁系统及其扩展模型&输入输出变迁系统IOTS和多输入输出变迁系统MIOTS的拒绝测试理论。
Our discussion is based on the general transition system model which provides an abstract setting that enables a uniform treatment of all different mechanisms. 本文的讨论基于一般的转换系统模型,此模型为我们统一地处理不同机制的语言提供了一个基础。
Several important formal models for specifying hybrid systems are introduces, and a new computational model of hybrid systems hybrid transition system ( HTS) is presented by extends fair transition systems ( FTS). 本文概述了目前几个重要的混合计算模型,并通过扩充公平转换系统FTS,提出混合系统的一种新的计算模型&混合转换系统HTS。
During the implementation of the strategies, both extending the industry chains of agriculture and building transition system between rural and urban area should be combined organically. 在农业剩余劳动力转移战略的实施过程中,农业产业链延伸与城乡过渡体系构建是有机结合的。
A concept of the state transition system was proposed to solve the task control problems existing in the knowledgeable manufacturing system, which was used to analyze an unreliable knowledgeable manufacturing cell with uncertain factors. 针对知识化制造系统中的任务控制问题,提出状态跃迁系统的概念,并以此来分析带故障并具有不确定因素的知识化制造单元。
Using status transition system, we analysis the semantic model of Z and point out three kinds of shortages. 利用状态转换系统对Z语义模型进行分析,指出其三种不足;
Double Q mechanism QFII and QDII is transition system arrangement of many nations opening the capital market gradually. QFII和QDII双Q机制是许多国家和地区逐步开放资本市场的一项过渡性制度安排。
For the improvement of several primary shortcomings existed in the dynamic process simulation models of liquid phase transition system, the uniform distributed parameter model for dynamic process of one-dimensional liquid-phase transition system has been established. 针对流体相变系统动态过程仿真模型所存在的几个主要问题,建立了一维流体相变系统动态过程的统一分布参数模型。